mathematics: constructive
Subcategories
Papers
Proof Theory
Michael Rathjen, et al. • (2024)
Proof theory is not an esoteric technical subject that was invented tosupport a formalist doctrine in the philosophy of mathematics; rather,it has been developed as an attempt to analyze aspects of ma...